Logical consequence

Results: 692



#Item
191Deduction / Entailment / Logical consequence / Metalogic / Presbyterian paraphrases / Modal logic / Sentence / Statistical machine translation / Copula / Logic / Linguistics / Philosophical logic

Extracting Paraphrases from Definition Sentences on the Web Chikara Hashimoto∗ Kentaro Torisawa† Stijn De Saeger‡ Jun’ichi Kazama§ Sadao Kurohashi¶ ∗†‡§ National Institute of Information and Communicatio

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2011-05-20 17:36:24
192Statistical theory / Deduction / Entailment / Logical consequence / Metalogic / Logic / Statistics / Estimation theory

Game-Theoretic Question Selection for Tests Yuqian Li and Vincent Conitzer Department of Computer Science Duke University {yuqian, conitzer}@cs.duke.edu

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2013-08-09 16:28:51
193General Medical Council / Brief / Skeleton / Medicine / Health / Thought / Arguments / Critical thinking / Logical consequence

FACTSHEET 10 Fitness to practise panel hearing information for doctors Creating a skeleton argument What is a skeleton argument?

Add to Reading List

Source URL: www.mpts-uk.org

Language: English - Date: 2015-03-25 11:32:17
194Decision theory / Inference / Logical consequence / Reasoning / Human factors / Automation / Decision making / Randomness / Human / Megafauna / Zoology / Biology

the human role in decision making Josh Schoenwald PSY[removed]WI[removed]Introduction

Add to Reading List

Source URL: alsowik.net

Language: English - Date: 2009-09-15 20:19:55
195Automated theorem proving / Logical consequence / Proof theory / Philosophical logic / First-order logic / Resolution / Propositional calculus / Axiom / Inference / Logic / Mathematical logic / Mathematics

Microsoft PowerPoint - ATP.ppt

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2010-09-28 21:48:06
196Semantics / Natural language processing / Logic / Logical consequence / Knowledge representation / SemEval / Word-sense disambiguation / Textual entailment / WordNet / Computational linguistics / Linguistics / Science

91 Intelligenza Artificiale[removed]–100 DOI[removed]IA[removed]IOS Press

Add to Reading List

Source URL: wwwusers.di.uniroma1.it

Language: English - Date: 2013-12-08 03:14:46
197Philosophical logic / Non-classical logic / Propositional calculus / Knowledge representation / Entailment / Modal logic / Textual entailment / WordNet / Verb / Logic / Science / Logical consequence

Large-Scale Verb Entailment Acquisition from the Web Chikara Hashimoto∗ Kentaro Torisawa† Kow Kuroda‡ Stijn De Saeger§ Masaki Murata¶ Jun’ichi Kazama National Institute of Information and Communications Techno

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2010-06-14 16:57:08
198Textual entailment / WordNet / Semantics / Entailment / Bitext word alignment / Inference / Monotonicity of entailment / First-order logic / Knowledge representation and reasoning / Logic / Science / Logical consequence

Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c

Add to Reading List

Source URL: dmcer.net

Language: English - Date: 2011-07-25 01:42:32
199Information science / Pragmatics / Branches of philosophy / Logical consequence / Information retrieval / Relevance / Information / Luciano Floridi / Philosophy of information / Science / Logic / Knowledge

A Subjectivist Interpretation of Relevant Information

Add to Reading List

Source URL: www.philosophyofinformation.net

Language: English - Date: 2014-03-28 12:55:45
200Logical consequence / Metalogic / Philosophical logic / Mechanism design / Logic / Deduction / Entailment

False-name-proof Matching Taiki Todo Vincent Conitzer Department of Computer Science

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2013-02-10 15:39:51
UPDATE